sig val pin : force:bool -> OpamTypes.pin -> unit val list : unit -> unit end