Previous
Up
Next
Module
Wp.Lang.Field
module
Field
:
Logic.Field
with type t = field