sig val mk_origin : unit -> origin end