Module Bastet__Option.Magma

Parameters

• M : Bastet.Interface.MAGMA

Signature

type t = M.t option

val append : t -> t -> t