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 **)
let align n amount =
  Nat.times
    (Util.division (Nat.minus (Nat.plus n amount) (Nat.S Nat.O)) amount)
    amount