open Preamble

open Hints_declaration

open Core_notation

open Pts

open Logic

open Types

open Bool

open Relations

open Nat

open List

open Div_and_mod

open Jmeq

open Russell

open Util

val align : Nat.nat -> Nat.nat -> Nat.nat